verifying inverses using composition